pre, code {
  background-color: #F0F0F0;
  font-family: monospace;
}

pre { 
  padding: 3px 3px;
  border: 1px dotted #999999;
  margin-left: 20px;
  margin-right: 20px;
}

code {
  padding: 2px 2px;
}

.header {
  font-family: Arial, sans-serif;
}

.body, .doc {
  background-color: white;
}

.body {
  font-family: Arial, sans-serif;
}

.doc {
  border: 1px solid black;
  padding: 5px 5px;
}


